dialectic logic inference

辩证逻辑推理